﻿With the use of the logcontract command, an expression such as log(x)+log(y), by properties, results in log(x*y)